Synthesizing optimally resilient controllers
نویسندگان
چکیده
منابع مشابه
Synthesizing Optimally Resilient Controllers
Recently, Dallal, Neider, and Tabuada studied a generalization of the classical gametheoretic model used in program synthesis, which additionally accounts for unmodeled intermittent disturbances. In this extended framework, one is interested in computing optimally resilient strategies, i.e., strategies that are resilient against as many disturbances as possible. Dallal, Neider, and Tabuada show...
متن کاملSynthesizing Efficient Controllers
In many situations, we are interested in controllers that implement a good trade-off between conflicting objectives, e.g., the speed of a car versus its fuel consumption, or the transmission rate of a wireless device versus its energy consumption. In both cases, we aim for a system that efficiently uses its resources. In this paper we show how to automatically construct efficient controllers. W...
متن کاملSynthesizing Controllers from Duration Calculus
Duration Calculus, as introduced in ZHR91], is a logic for reasoning about requirements for real-time systems at a high level of abstraction from operational detail, which qualiies it as an interesting starting point for embedded controller design. Such a design activity is generally thought to aim at a control device the physical behaviours of which satisfy the requirements formula, i.e. the r...
متن کاملSynthesizing Controllers for Hybrid Systems
A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure that the system satisses global invariance over the whole state space. Classical analysis is used to derive a controller given the phases, transitions and global invariance of a hybrid system. The methodology...
متن کاملOn Synthesizing Controllers from Bounded-Response Properties
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under bounded-variability assumptions, deterministic timed automata to which we apply safety synthesis algorithms to derive a controller that satisfies the properties by construction. Some preliminary experimental results are re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2019
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-019-00345-7